Proof Assistants and Their Appl...
Hardback
Published 01 Jul 2025
Search for "Jasmin Blanchette"
9 results
-
-
$5.14off
Interactive Theorem Proving
Paperback
Published 07 Aug 2016Save $5.14
- RRP $61.51
- $56.37
-
Automated Reasoning
Paperback
Published 17 Jul 2022- $48.13
-
$6.33off
Tests and Proofs
Paperback
Published 01 Jul 2015Save $6.33
- RRP $54.67
- $48.34
-
C++ GUI Programming With Qt 3
Paperback
Published 28 Jan 2004 -
C++ GUI Programming With Qt 4
Hardback
Published 21 Feb 2008 -
C++ GUI Programming With Qt 4
Hardback
Published 28 Jul 2019 -
C++ GUI Programming With Qt 4
Paperback
Published 29 Jun 2006 -
Interactive Theorem Proving
Paperback
Published 15 Aug 2016